../../../../../../../../../src/external/xnu/osfmk/i386/pal_rtclock_asm.h